@CHARSET "ISO-8859-1";

a.currentbutton,a.currentbutton:visited {
	margin: 5px;
	padding: 5px;
	font-size: 14pt;
	text-decoration: none;
	background: white;
	color: black;
}

a.currentbutton:hover {
	text-decoration: underline;
	background-color: black;
	color: white;
}